q\_less($a$; $b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$set\_blt(oset\_of\_ocmon(qadd\_grp); $a$; $b$)